Modelagem de Bancos de Dados em Tempo-real

Neste trabalho introduzimos um método para a modelagem de Banco de Dados em Tempo-real (BDTR) utilizando uma notação de redes de Petri baseadas em objetos denominada EG-CPN. Esta notação é enriquecida de modo a promover a descrição eficiente de modelos integrando BDTR e Sistemas em Tempo-real (STR). O método disponibiliza para o projetista construções que permitem, por exemplo, declarar restrições lógicas e temporais e restrições de execução concorrente de métodos no contexto de uma aplicação de BDTR. Além disso, apresentamos um exemplo da aplicação do método introduzido para a modelagem e validação dos objetos de controle e de banco de dados para uma célula flexível de manufatura.